Nuprl Definition : D 13,42

REF, NoConds
D $a == D ($a) 
latex


UpTactics as terms
FDL editor aliases-d

origin